(Program
{+(ExpressionStatement
  {+(This)+})+}
{-(Return
  {-(This)-})-})