Fold the elements in the set using the given
right-associative binary operator. This function is an equivalent of
foldr and is present for compatibility only.
Please note that fold will be deprecated in the future and
removed.
Folds backward over all the nodes of an open-open block and allows
rewriting them. The accumulator is both the block of nodes and
f (usually dataflow facts). Strict in both accumulated parts.