Only move over variables not already solved
More comments in part hander
Ooops, forgot to re-build heap after variable-renumbering

This was a giant bug, fixed
A giant bug, part handler need to add solution to 'solution'

This way, var-renumbering and solution extension will work
Break early in case of solution, but not too early so that stats are updated