isl_print_*: print unsatisfiable constraints as "false" instead of "1 = 0"