Effect summary variables
merge
Merge branch 'asp' of https://github.com/hanm/clang into asp
effect summary variables - passing tests
Effect variables - tests passing
cleanup