[agumonkey]

it looks like a NP-Complete problem

[mst]

A solution that converted as many easy things as possible and then output anything it couldn't figure out somewhere so you could convert that by hand would still probably be rather useful.

[agumonkey]

Agreed. And from what I understand it's how the python 2 -> 3 transition was dealt with.