Gave explicit names to FlatZinc tests, updated to conform to Concrete's
predicates.