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