Fixed failing Rascal tests (fixed at the time, but forgot to commit)