add isl_seq_normalize