Assertion list for term "n nodes".

Results from Ascent++: 1
binary tree (subgroup of tree) HasAn nodes 0.35