convert to_get_trace_state_variable_value