(Program
  (Return
  { (Identifier)
  ->(Empty) }))