let is_stable f = match lookup f with | Undefined -> false | Defined _ -> true | Cyclic c -> c.stable