public bool IsClosedNode()
{
if (ChildrenNodes.Count == 0)
{
foreach (var prop in CurrentNode)
{
if (CurrentNode.Any(p => p.ToString() == new Negation(prop).ToString()))
{
return(true);
}
}
}
return(false);
}
