(Program
  (Begin
    (MethodCall
      (Identifier))
  { (Else)
  ->(Else
      (MethodCall
        (Identifier))) }))