add a flag for turning on/off phase saving
implement forward subsumption removal (clauses only)