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