Isn it impossible to convert an assembler source file to good-quality C automatically?
No, it is quite possible. Relogix uses a combination of intensive code analysis combined with clever use of clues in the assembler source files to figure out what the program is doing so it can reproduce the results in natural C style. To get a feel for how well this works, see the sample Relogix translation.