morph Do2While: Do ==> While {
  Stm[do](S,E) S()=>S,E()=>E ==> <<
    {
      var continue = 1;
      while continue do {
        <S>
        continue = <E>;
      }
    }
  >>
}