Cashproof Usage: install python 3 pip install z3-solver python run.py [filenames], examples can be found under examples/