Fix warning about AxiomRuleCo in 7.8