Work-around parameterization bug in Rascal.