isEmptyemptytrueisEmptynodelrfalseleftemptyemptyleftnodelrlrightemptyemptyrightnodelrrinc0s0incsxsincxcountnxifisEmptynisEmptyleftnrightnnodeleftleftnnoderightleftnrightnxincxiftruebnmxyxiffalsefalsenmxycountmxiffalsetruenmxycountnynrOfNodesncountn0isEmpty1empty0true0node2false0left1right1inc100s1count2if6nrOfNodes1INNERMOST./TRS/secret06/aprove/nrOfNodes.trs