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); }