todo
fix ordering of PruningTerms