[driver] Remove useless stuff.

config/drivers/vnnlib.gen

@@ -59,7 +59,6 @@ theory BuiltIn
 end
 
 theory int.Int
-
   prelude ";;; SMT-LIB2: integer arithmetic"
 
   syntax function zero "0"
@@ -79,7 +78,6 @@ theory int.Int
 end
 
 theory real.Real
-
   prelude ";;; SMT-LIB2: real arithmetic"
 
   syntax function zero "0.0"
@@ -99,11 +97,6 @@ theory real.Real
 
   remove allprops
   meta "encoding:kept" type real
-
-end
-
-theory real.Real
-
 end
 
 theory Tuple0