Rollback on simplfications of binary clauses.