Assert that each of the specified StateFlags has been cleared in the controlFlowGraph.
The collection of StateFlags to check for absence.