renamed StatefulRecordEvaluatorIF