external optimize        : t -> Node.t -> unit = "optimizer_optimize"