let is_included_exn v1 v2 =
  if not (is_included v1 v2) then raise Is_not_included