add missing annotations to isl_basic_set_normalize_constraints