changes
Merge branch 'code' of github.com:kyzhai/SMURF into code

Conflicts:
	Code/semanalyze.ml
Merge branch 'code' of github.com:kyzhai/SMURF into code
Merge branch 'code' of github.com:kyzhai/SMURF into code
Merge branch 'code' of github.com:kyzhai/SMURF into code
added second pass