Given a debug trace (produced by AuthenticationVirtualMachine.debug),
return an array summarizing each step of the trace. Note, debug traces
include the full program state at the beginning of each evaluation step; the
summary produced by this method instead shows the resulting stacks after each
evaluation step.
Given a debug trace (produced by AuthenticationVirtualMachine.debug), return an array summarizing each step of the trace. Note, debug traces include the full program state at the beginning of each evaluation step; the summary produced by this method instead shows the resulting stacks after each evaluation step.