Assertion list for term "exactly two children".

Results from Ascent++: 2
node HasAexactly two children 0.41
binary tree (subgroup of tree) HasAexactly two children 0.25