moving to Rascal 1.19