Fix trailing process in SatSolver and entailment in PropSat