Reachability in Functional Graph