Tried fixing issue cwi-swat/rascal#367