Made Instance constructor private, changed associated code in
Recompute.computeNewSolution(..)
Merge branch 'master' of https://github.com/ezulkosk/Kodkod-Ints-Project