let get = function 
    | Bv(op), _ -> op
    | _ -> raise Not_found