var A %Avar; B %Bvar; { {source: %Avar -> %Bvar %Bvar -> C bypassing {X} C -> target:D} {source: %Avar -> %Bvar %Bvar -> C C -> target:E} {source: %Avar -> B B -> C C -> target:F} }