CmdLangSem-Copat: C⟦ c ⟧ σ ⇑ → c / σ ⇧  (in progress).