let
sym_is_bv_conc =
function
Bv
(
Conc
_)
->
true
|
_
->
false