running type coercion study on Alexa's top sites
Merge branch 'master' of https://github.com/Berkeley-Correctness-Group/Jalangi-Berkeley