Large scale analysis of signal reachability.

Large scale analysis of signal reachability.