(Program
  (Method
    (Empty)
  { (Identifier)
  ->(Identifier) }
  {-(Identifier)-}
    ([]
    {-(Send
      {-(Identifier)-})-})))