DataFlow MultiBranchContext is needed for CFD/DFA Abstract Interpretation.

[mayanje]

Description
In order to be able to perform an abstract interpretation over the CFG, it is necessary to remender Mutil Branch Contexts that were calculated at CFG construction time for each control flow instruction.