(Program
  (Function
    (Empty)
    (Empty)
  { (Identifier)
  ->(Identifier) }
  {-(RequiredParameter
    {-(Empty)-}
    {-(Empty)-}
    {-(Empty)-}
    {-(Assignment
      {-(Identifier)-}
      {-(Empty)-})-})-}
  {-(RequiredParameter
    {-(Empty)-}
    {-(Empty)-}
    {-(Empty)-}
    {-(Assignment
      {-(Identifier)-}
      {-(Empty)-})-})-}
    (Statements
    {+(Return
      {+(Boolean)+})+}
    {-(Identifier)-}))
  (Empty))