[Start] -> [Присвоєння змінної А значення 20] -> [Виконання команди А] -> [Кінець]

Якщо після виконання команди А значення змінної А стало 10, то можна припустити, що команда А була наступною:

[Віднімання від змінної А числа 10]