let d_sub = function Bv(Sub(n, i, j)), _ -> (n, i, j) | _ -> raise Not_found