adding simple tests for globals/assignment
hmm.
adding notion of mutability
lets see if SSA works with outer vars...
tc passes for glob-00.js
tc passes for glob-00.js
added neg tests: generate constraints for global assignments
miniscule tests pass for global assignments