(Program
  (If
  { (Identifier)
  ->(Identifier) }
    ([]
    {-(Identifier)-})
  { (If
      (Identifier)
      (
        (Identifier))
      (
        (Identifier)))
  ->(Empty) })
{+(If
    (Identifier)
    ([])
    (Empty))+})