[achllies]

This is a great idea. I can almost see my development time going down by a big factor and writing much more robust programs. I wonder, how hard it would be to do this in existing editors ?

[tikhonj]

As I said elsewhere, most of this would be very easy in Emacs. I think only the code-tracing stuff would be particularly difficult.