Revert "Removing reachability"

This reverts commit b6b6f49774274eef1623a0fa2cad730022f612d3.