(Program
  (Try
    (
      (Call
        (Identifier)
        (Empty))
      (Else
        (Empty)
      { ([])
      ->(Call
        {+(Identifier)+}
        {+(Empty)+}) }))))