Contents:
idp_engine
idp_server
Translates AST tree to Z3
TODO: vocabulary
get_symbols_z
adds the symbols in zexpr to symbols
zexpr (ExprRef) – a Z3 expression
symbols (set(str)) – set of symbol name