reverse execution Имитация выполнения программы от точки останова или конца программы к началу. Для обеспечения обратного выполнения при каждом присваивании значения переменной сохраняется ее старое значение. При обратном выполнении переменные восстанавливают сохраненные значения.