simplified RuleSatisfiedTester