Now leaking new messages out of pattern checking code to help better pinpoint errors in cases where no obvious errors are found
Merge branch 'master' of https://github.com/cwi-swat/rascal