Add instance for pretty-printing of PruningTerms.
(hacky) Don't give rubbish axioms to E when pruning