add isl_set_substitute