Closed this issue 6 years ago · 1 comments
remove each node which is either a theory axiom or only derived from theory axioms.
currently not needed