After thinking about it some more this is exactly what tom7 implemented in 'Badness 0' http://tom7.org/bovex/ You get a pretty, but not entirely correct output.