use <= since afaict the DT calculation is working but both e and b happen to retain the same number of things
Add a test to assert that the dominator tree doesn't look at non-debuggee compartments