test_reachable has a bug that makes it not really assert anything useful. Once that is fixed, it has a bug that makes it fail.
test_reachable