Change the minimum nuber of arguments to alldiff to 1.
Fix solver tests.