This is a very nicely presented graph layout algorithm, and it produces very readable CFG output.