coverage RuleImpl