first version of dangling code in switch analysis