A Flo graph optimizer