let var_type_of_lvar = function 
  |{lv_origin = Some x} -> Cv x 
  | l -> Lv l