Replaces (switch (select cond, X, Y)) on constant X, Y with a branch - conditional if X and Y lead to distinct BBs, unconditional otherwise.
source not stored for this graph (policy: none)
no test coverage detected