Better fix for cwi-swat/rascal#618 but the type changes due to the impossibility of actually storing the evaluator