Я никак не пойму, с чем Вы спорите.

> -- Цитата:
> В Обероне есть полный дамп памяти и стёка вызовов ... без которых, чисто на доказательстве программ, далеко не уедешь

У вас кто-то отнимает это где-то?

Термин "пошаговый отладчик" подразумевает инструмент для прогонки приложения команда за командой с прерыванием после каждой. А вообще отладчики бывают разные. Не только пошаговые.