Removed verbose output from reachability example.