Add specification for bridge reachability test