replace of the "fence" changes from PR #550#552

Draft

evaleev wants to merge 1 commit intomasterfrom evaleev/replay/pf-550-fence-ensures-ntask-is-zero

+101-58

Commits on Oct 11, 2024

fence checks postcondition that there are no tasks
evaleev
committed