Adding support for reference types (and tests in assign_typecheck)
Adding support for checking the effects over the return value of functions
Merge branch 'asp' of github.com:hanm/clang into asp