private void AddNode(Node node, DfaTransition transition, ExecutionPath predicatePath)
{
if (_nodeSet.Add(node) == false)
{
return;
}
var dfaNode = _builder.CreateDfaNode(node, transition, predicatePath);
_nodesCollection.Add(dfaNode);
if (predicatePath == null && (node is ReturnStateNode || node.ReturnPath.IsInvalid == false))
{
_successTransition = transition;
}
}
