let sym_d_bv_bitwise = function Bv(Bitwise(n)) -> n | _ -> assert false