let set_stable f =
    try let c = Ihmap.find cofix f in c.stable <- true
    with Not_found -> ()