isl_input.c: basic_map_read_polylib_constraint: drop unused variables