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