let rec used_var_defs_in_instrs instrs =
  list_remove_dupq (List.map (fun v -> v.var_def) (List.concat (List.map used_vars_in_instr instrs)))