let is_bvsym = function
  | Bv _ -> true
  | _ -> false