Removed deprecated ISolver.newVar()

2 jobs for master in 68 minutes and 13 seconds (queued for 4 seconds)