{+(Program
  (For
    (Identifier)
    (Identifier)
    (Identifier)))+}