NOTE: TEST MISSING, unclear if this is the best way to test the
MustBeExecutedContextExplorer anyway. This might get merged
into D64975.
This adds a pass which prints, for each instruction I, the set of
instructions that are guaranteed to execute when I is executed.