Working on translation of top-down-break, bottom-up-break, innermost,
outermost strategies, still work in progress.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git