Verify everything before makeReachableNodesFor