Reachability Analysis of Program Variables