Isn't that a bit like saying your refactoring IDE which generates some high-level language which in turn generates machine code is over-engineered?