Именно! К такой мысли я и пришел. Вопрос в том, как быстро такое нарисовать и по возможности не совсем вручную (чтобы не ошибиться в именах переменных, функций и пр.) И, самое главное, что я предложил - потом автоматически проверять это, сличать "яркие точки" такой схемы с реальным кодом.