small bug fixes
refined belief analysis + bug fixes
more tests and small fixes
Merge branch 'master' of https://github.com/Berkeley-Correctness-Group/Jalangi-Berkeley