fixed splicing tests after comments by @msteindorfer in issue #85
Merge branch 'master' of git@github.com:cwi-swat/rascal.git

Conflicts:
	test/org/rascalmpl/test/functionality/PatternTests.java