Simplify nog_vs_leq_rules_vs.