evaluator transitions inplace (no state copies)