let all_stable fs =
    try Iset.iter 
      (fun f -> 
         if not (is_stable f) then raise Unstable
      ) fs ; true
    with Unstable -> false