Fix coercion optimization for axiom rules.