combos constant dataflow analysis has to be consistent with the localopt; this should...