nfnodes -- number of "split node" fault nodes
*Important note* Earlier versions required multiple counting of every occurrence of a split node in any element; that is no longer the case as of version 4.3. Now, every split node counts only once, regardless of how many elements it is a member of.