(Program
  (If
  { (Identifier)
  ->(Not
      (Identifier)) }
    (Identifier)
    (Empty)))