(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (
      (Context
        (Comment)
        (Or
        { (Identifier)
        ->(Identifier) }
          (Context
            (Comment)
          { (Identifier)
          ->(Identifier) })))
      (Context
        (Comment)
        (And
        { (Identifier)
        ->(Identifier) }
        { (Identifier)
        ->(Identifier) }))
    {+(Equal
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Not
      {+(Equal
        {+(Identifier)+}
        {+(Identifier)+})+})+}
    {+(LessThan
      {+(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)+})+}
    {-(Equal
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Not
      {-(Equal
        {-(Identifier)-}
        {-(Identifier)-})-})-}
    {-(LessThan
      {-(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)-})-})))