Remove symbol table passes. (rust-lang#1932)

Author: celinval

cprover_bindings/src/goto_program/mod.rs

@@ -13,7 +13,6 @@ mod location;
 mod stmt;
 mod symbol;
 mod symbol_table;
-pub mod symtab_transformer;
 mod typ;
 
 pub use builtin::BuiltinFn;