Add extra constraints to Test 35 to test pruning of linear terms by .nl solvers