{+(Program
  (If
    (Identifier))
  (If
    (Identifier)))+}