Working evaluator visitor, partly unit-tested.