(Program
  (NoOp
    (Empty))
{+(NoOp
  {+(Empty)+})+})