Control Dominator incorrect for steps outside if-else block

[dingyuchen]

Bug Overview

From the Step entries, we see that step 4 onwards all have step 3 as a control dominator.
This is a bug since all steps will execute regardless of the result of step 4.
Step 3 corresponds to line 14, and step 4 corresponds to line 19.

Reproducing steps:

1. Run Microbat trace debugging on DiningPhilosophersDebug
2. Observe DB Step entries