Restructure heuristic.
Remove Visitor in heuristic and introduce Iterator (more or less).
Restructure heuristic (again). Also fix a bug: select only from unsatisfied clauses!