Testing for NonLeaf (testLeafben.cc)