model_get_state_name
da_trace_error(da_mon, model_get_state_name(curr_state),
da_trace_event(da_mon, model_get_state_name(curr_state),
model_get_state_name(next_state),
model_get_state_name(curr_state));
model_get_state_name(curr_state),
ha_trace_error_env(ha_mon, model_get_state_name(curr_state),
model_get_state_name(curr_state), env);