Lucsanszky

Thanks for your review! I added the changes that you have requested, let me know if this looks any good to you.

@nfrisby if I understand correctly, this should not be merged until some of the concerns you mention [here](https://github.com/IntersectMBO/ouroboros-consensus/issues/324#issuecomment-1695928343) are addressed, right? Especially the obsolete node checks part as this PR...

Here's another reproducer for good measure :) `cabal test cardano-ledger-conformance:test:tests --test-options='--match "/Conformance/Constrained Generators/Ticks transition graph/RATIFY/" --seed 1858176186'` Coming from https://github.com/IntersectMBO/cardano-ledger/actions/runs/19506835953/job/55839730442?pr=5416