mm_IC (((nom,d1) ::= d2,i):stms) mm = 
    ((rename nom mm,d1) ::= (renameAll d2 mm),i):(mm_IC stms mm)
mm_IC (((nom,d1) ::= d2,i):stms) mm = 
    ((rename nom mm,d1) ::= (renameAll d2 mm),i):(mm_IC stms mm)
mm_IC (((nom,d1) ::= d2,i):stms) mm = 
    ((rename nom mm,d1) ::= (renameAll d2 mm),i):(mm_IC stms mm)