introducing StatefulRecordEvaluatorIF