Michelson annotations are not shown on elements of the stack in trace
When using the client command run program ... --strack-trace
or calling the rpc trace_code
, the annotations are not shown to the user, which could be useful if e.g., annotations are used to keep track of variable names.