Reachability analysis v1.01