(Program
  (Module
    (Identifier))
  (Function
    (Identifier)
    (Args)
    (FunctionCall
      (Identifier)
      (ChannelTy
      { (Identifier)
      ->(Identifier) }))
    (FunctionCall
      (Identifier)
      (ChannelTy
      { (Identifier)
      ->(Identifier) })
      (RelationalOperator
        (Identifier)
        (Identifier)))
    (FunctionCall
      (Identifier)
      (ChannelTy
      { (Identifier)
      ->(Identifier) })
    { (NumberLiteral)
    ->(NumberLiteral) }
    { (NumberLiteral)
    ->(NumberLiteral) })
    (FunctionCall
      (Identifier)
      (DictionaryTy
      { (Identifier)
      ->(Identifier) }
      { (Identifier)
      ->(Identifier) }))))