define add_and_name_isl_dims and add_eq_isl_constraint_from_names locally for...

define add_and_name_isl_dims and add_eq_isl_constraint_from_names locally for now (previously were defined in schedule checking utils before this code was moved to independent branch)