(hacky) Don't give rubbish axioms to E when pruning