(Program
  (Package
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (
      (Context
        (Comment)
        (Or
        { (Identifier)
        ->(Identifier) }
          (Context
            (Comment)
          { (Identifier)
          ->(Identifier) })))
      (Context
        (Comment)
        (And
        { (Identifier)
        ->(Identifier) }
        { (Identifier)
        ->(Identifier) }))
      (Equal
      { (Identifier)
      ->(Identifier) }
      { (Identifier)
      ->(Identifier) })
      (Not
        (Equal
        { (Identifier)
        ->(Identifier) }
        { (Identifier)
        ->(Identifier) }))
      (LessThan
      { (Identifier)
      ->(Identifier) }
      { (Identifier)
      ->(Identifier) })
    {+(LessThanEqual
      {+(Identifier)+}
      {+(Identifier)+})+}
    { (LessThanEqual
      {-(Identifier)-}
      {-(Identifier)-})
    ->(GreaterThan
      {+(Identifier)+}
      {+(Identifier)+}) }
    {+(GreaterThanEqual
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Plus
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Minus
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(BOr
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(BXOr
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Times
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(DividedBy
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Modulo
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(LShift
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(RShift
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(BAnd
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(BAnd
      {+(Identifier)+}
      {+(Identifier)+})+}
    {-(GreaterThan
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(GreaterThanEqual
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Plus
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Minus
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(BOr
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(BXOr
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Times
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(DividedBy
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Modulo
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(LShift
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(RShift
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(BAnd
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(BAnd
      {-(Identifier)-}
      {-(Identifier)-})-})))