ha_verify_guards
if (!ha_verify_guards(ha_mon, curr_state, event, next_state, time_ns))
if (!ha_verify_guards(ha_mon, curr_state, event, next_state, time_ns))
if (!ha_verify_guards(ha_mon, curr_state, event, next_state, time_ns))