}
SequenceSet pathsToCurrentState = fanout.get(state.getMergedVertex());
if (pathsToCurrentState != null)
// if a path from the merged red state to the current one can be found, update the set of questions.
pathsToCurrentState.crossWithMap(learnt.transitionMatrix.get(state.getMergedVertex()));
// Note that we do not care what the result of crossWithSet is - for those states which
// do not exist in the underlying graph, reject vertices will be added by the engine and
// hence will be returned when we do a .getData() on the engine.
}