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