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