向前可达性

forward reachability