fix to disable phase-saving during forward subsumption checking