Tested RuleBaseImpl.