add isl_set_indicator_function