let is_const = function Bv(Const _), _ -> true | _ -> false