Checkpoint some fixes to cfg-based dataflow to handle break/continue properly.
an interesting test case derived from robinhood hashmap code.