let restrict_out s l =
  List.filter (function x, t -> not (List.mem x l)) s;;