constraint generation
Merge branch 'asp' of https://github.com/hanm/clang into asp
merge with effect constraints