let is_sub = function Bv(Sub _), _ -> true | _ -> false