(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (
    { (Identifier)
    ->(Identifier) }
    {+(Negate
      {+(Identifier)+})+}
    {+(Not
      {+(ReceiveOperator
        {+(Identifier)+})+})+}
    {+(Pointer
      {+(Call
        {+(Identifier)+}
        {+([])+}
        {+(Empty)+})+})+}
    {+(Complement
      {+(Identifier)+})+}
    {+(Reference
      {+(Identifier)+})+}
    {+(ReceiveOperator
      {+(Identifier)+})+}
    {-(Negate
      {-(Identifier)-})-}
    {-(Not
      {-(ReceiveOperator
        {-(Identifier)-})-})-}
    {-(Pointer
      {-(Call
        {-(Identifier)-}
        {-([])-}
        {-(Empty)-})-})-}
    {-(Complement
      {-(Identifier)-})-}
    {-(Reference
      {-(Identifier)-})-}
    {-(ReceiveOperator
      {-(Identifier)-})-})))