[mcs] Reachability analysis of constant switch