Initial release

# install node.js, then
pip install z3-solver

# analyze
python bin/pytea.py path/to/script.py