[mcs] Reachability analysis should ignore local variables declarations. Fixes #20603