let all_positional vl =
  let cmp = Order.compose compare_containment compare_positional in
  let vl = List.sort ~cmp vl in
  let rec loop vl =
    match vl with
      | [] | _::[] -> true
      | u::v::vl -> (before u v) && loop (v::vl)
  in loop vl