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))