idp_engine.idp_to_Z3ΒΆ

Translates AST tree to Z3

TODO: vocabulary