Given the following graph G, actors V0 and V1 should be executed once and not four times as computed currently.
The BRV keeps the link between V1 and V2 even though it should consider it as disconnected.
Graph G:
V0 | 1 --> 1 | V1 | 0 --> 0 | V2 | 1 --> 4 | V4