isl_val_is_one should return isl_bool_false for nan