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