Fixed cwi-swat/rascal#691