(Program
  (Continue
    (Empty))
{+(Continue
    (Empty))+})