signature verification works with auxiliary ASTs
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega

Conflicts:
	case-studies/fomega-type-annotations/src/contextanalysis/rules/Verification.sf