let is = function Bv _, _ -> true | _ -> false