(Program
  (Class
  { (Identifier)
  ->(Identifier) }
  {+(Identifier)+}
    (Annotation
      (Function
      { (Identifier)
      ->(Identifier) }
        (Identifier)
        (Return
        { (Identifier)
        ->(Empty) }))
      (Empty)))
{-(Class
  {-(Identifier)-}
  {-(NoOp
    {-(Empty)-})-})-}
  (Class
    (Identifier)
  {-(Identifier)-}
    (Annotation
      (Function
      { (Identifier)
      ->(Identifier) }
        (Identifier)
        (Return
        { (Empty)
        ->(Identifier) }))
      (Empty))))