Python Static Reachability Example