rule_resolve double tested