<Prog> Implementing Trans. Rules for cIns/cDel