Constraint solver problem

In reply to sam497:

The sum of all instructions needs to be in the range of the size of the inst array.