* the first (small) test validate the untyped evaluator