SMS: Verification of business rules programs /