Some optimizations.
Merge branch 'string-origins' of https://github.com/cwi-swat/rascal into string-origins