method private good_var vi =
      (is_volatile vi) ||
      (not(UD.VS.mem vi unused_set) &&
      (not(IH.mem iioh vi.vid) ||
      (match IH.find iioh vi.vid with
        None -> true | Some _ -> false)) &&
      not(IH.mem incdecHash vi.vid))