isl_basic_map_gist: prefer contraints without existentially quantified variables