rename IO-DT by morphism : input → cinput; : output → coutput; : inputlist → cinputlist; : outputlist → coutputlist; : state → cstate; [] → []; [] → []; OP → COP; PROG → CPROG; SEM → CSEM; ⊗ → ⊗; ⊗ → ⊗; ⊗ → ⊗; ⊗ → ⊗; dom → dom; dom → dom; dom → dom; ran → ran; ran → ran; ran → ran; + → +; hd → hd; tl → tl; # → #; ' → '; + → +; + → +; + → +; ++ → ++; rmdup → rmdup; .last → .last; .butlast → .butlast; butlastn → butlastn; rev → rev; mklist → mklist; fillfirst → fillfirst; + → +; hd → hd; tl → tl; # → #; ' → '; + → +; + → +; + → +; ++ → ++; rmdup → rmdup; .last → .last; .butlast → .butlast; butlastn → butlastn; rev → rev; mklist → mklist; fillfirst → fillfirst; embed → embed; dom → dom; dom → dom; ^* → ^*; ^* → ^*; embedinit → embedinit; embedfin → embedfin; INIT → CINIT; INP → CIN; OUP → COUT; FIN → CFIN; < → <; ∈ → ∈; dups → dups; disj → disj; ⊑ → ⊑; ⊒ → ⊒; < → <; ∈ → ∈; dups → dups; disj → disj; ⊑ → ⊑; ⊒ → ⊒; st → cs; st0 → cs0; st1 → cs1; st2 → cs2; st3 → cs3; st4 → cs4; st5 → cs5; st' → cs'; op → cop; ioop → cioop; ioop1 → cioop1; ioop2 → cioop2; sem → csem; init → cinit; ioinit → cioinit; ioinit0 → cioinit0; fin → cfin; iofin → ciofin; iofin0 → ciofin0; inp → cin; inp' → cin'; inp0 → cin0; inp1 → cin1; inp2 → cin2; inl → cil; inl' → cil'; inl0 → cil0; inl1 → cil1; inl2 → cil2; inl3 → cil3; inl4 → cil4; inl5 → cil5; inl6 → cil6; inl7 → cil7; inl8 → cil8; inl9 → cil9; inl10 → cil10; inl11 → cil11; inl12 → cil12; inl13 → cil13; oup → cou; oup' → cou'; oup0 → cou0; oup1 → cou1; oup2 → cou2; oul → col; oul' → col'; oul0 → col0; oul1 → col1; oul2 → col2; oul3 → col3; oul4 → col4; oul5 → col5; oul6 → col6; oul7 → col7; oul8 → col8; oul9 → col9; oul10 → col10; oul11 → col11; oul12 → col12; oul13 → col13; p → cp; ioin → cioin; ioout → cioout; ioin* → cioin*; ioout* → cioout*; sp → csp; dp → cdp; end rename