let is_subset l1 l2 =
  List.for_all (fun x -> List.mem x l2) l1