Deal with irreducible control flow when building traces.