Subcubic Control Flow Analysis Algorithms, nr. 125, 2009