+ /* Information recomputed during the analysis of each expression: */
+
+ /* True if the whole BB subtree in the dominator tree is "covered" with */
+ /* BBs marked "interesting" (a BB where this is false cannot be down */
+ /* safe, since there would be a path to exit with no occurrence at all). */
+ /* A more formal way of stating this is that on the DT there is no path */
+ /* from this BB to any leaf that does not meet an interesting BB */
+ gboolean dt_covered_by_interesting_BBs;