let logic_variable v =
  let name = opt_app (fun v -> v.vname) v.lv_name v.lv_origin in
  ltype v.lv_type, name