renameAll (Op2 op d1 d2) mm = Op2 op (renameAll d1 mm) (renameAll d2 mm)
renameAll (Op2 op d1 d2) mm = Op2 op (renameAll d1 mm) (renameAll d2 mm)
renameAll (Op2 op d1 d2) mm = Op2 op (renameAll d1 mm) (renameAll d2 mm)