add isl_local_space_substitute_equalities