--mm_IC ((Cond (E d1) j,i):stms) mm = 
--    ((Cond (E (renameAll d1 mm)) j),i):(mm_IC stms mm)
mm_IC ((x,i):stms) mm = (x,i):(mm_IC stms mm)
mm_IC ((x,i):stms) mm = (x,i):(mm_IC stms mm)
mm_IC ((x,i):stms) mm = (x,i):(mm_IC stms mm)