see proverArch for overapproximation of SMT sig
asdasD
asdasd
remove theory bits from tpGen
have we isolated Z3
removing old z3 files
asdasd
time to test refactored fixpoint