intermediate rollback to exponential constraints; new implementation works for
that, but lazy constraints results in unmatched nodes and cycles...