Adding a (currently failing) test for the reachability code