let d_conc = function Bv(Conc(n, m)), _ -> (n, m) | _ -> raise Not_found