Axiom checking improved