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