LogicSet RuleExecutionSet2
 	Def org.jcp.jsr94.tck.model.Customer Customer
   	Def org.jcp.jsr94.tck.model.Invoice Invoice
   	Def int credit_limit, amount
   	Def str invoice_status
   	Cut witmate.jsr94tck.opt.SetCustomerCreditLimit	setCreditLmt
   	
   	Let credit_limit=GetAttr(Customer,"CreditLimit")   	
   	Let amount=GetAttr(Invoice,"Amount")
   	Let invoice_status=GetAttr(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