Extract facility (ReductionTrack) that tracks reduction rules applied out from TEE