let get_state kf = let state = Proxy.get_state kf in try find_state kf state with Not_found -> add kf [ state ] (ref (M.default kf)); try find_state kf state with Not_found -> assert false