(Program
  (Yield
    (Empty))
{+(Yield
    (Empty))+})