Bug fix: too few select edges inserted.

This fixes some "user said unsat but we got sat" problems.
The break was wrong.