More efficient backward inference using a CountingLatch to determine when the graph is in a quiescent state.