extract out common isl_seq_substitute