Add the specified block, and all of its predecessors, to the specified set, if it's not already in there. Stop predecessor traversal when we reach StopBlock.
source not stored for this graph (policy: none)
no test coverage detected