prepare to handle axis of renaming, e.g. s1 ::= s2 s2 ::= s3 ...