Computes the estimated cost of verifying the given sigma proposition.
Computes the estimated cost of verifying the given sigma proposition. This method should be O(nNodes), where nNodes is the number of the nodes in the tree.
sigma proposition to estimate
the value of estimated cost HOTSPOT: don't beautify the code
HOTSPOT: don't beautify this code
Compute total size of the trees in the collection of children.