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