The states are internally represented with state_%d in the verifier.
These internal names are sometimes stored in the context history instead of the user-defined names, which makes it hard to understand the context debugger in the extension.
In the error messages this does not seem to happen so we probably just need to follow the same steps for the context history.
The states are internally represented with
state_%din the verifier.These internal names are sometimes stored in the context history instead of the user-defined names, which makes it hard to understand the context debugger in the extension.
In the error messages this does not seem to happen so we probably just need to follow the same steps for the context history.