CFY-643 removed node's reachable property from code; only state is used from now on