(Statements
  (Function
    (Empty)
    (Empty)
    (Empty)
  {+(RequiredParameter
    {+(Empty)+}
    {+(Empty)+}
    {+(Identifier)+}
    {+(Empty)+})+}
    (RequiredParameter
      (Empty)
      (Empty)
      (Identifier)
      (Empty))
  {-(RequiredParameter
    {-(Empty)-}
    {-(Empty)-}
    {-(Identifier)-}
    {-(Empty)-})-}
    (StatementBlock
      (Return
      { (Times
        {-(Identifier)-}
        {-(Identifier)-})
      ->(Plus
        {+(Identifier)+}
        {+(Identifier)+}) }))))