LogicSet RuleExecutionSet1
	Def org.jcp.jsr94.tck.model.CustomerImpl Customer
   	Def org.jcp.jsr94.tck.model.InvoiceImpl Invoice
   	Def int credit_limit, amount
   	Def str invoice_status
   	Cut witmate.jsr94tck.opt.SetCustomerCreditLimit	setCreditLmt   	
   			
   	Let credit_limit=GetAttribute(Customer,"CreditLimit")
   	Let amount=GetAttribute(Invoice,"Amount")
   	Let invoice_status=GetAttribute(Invoice,"Status")
   			
   	If credit_limit>amount and invoice_status="unpaid"
   	Then
   		Do setCreditLmt(Customer,credit_limit-amount)
   		Do SetAttr(Invoice,"Status","paid")
   		Return Customer, Invoice