ha_verify_constraint
static bool ha_verify_constraint(struct ha_monitor *ha_mon,
if (ha_verify_constraint(ha_mon, curr_state, event, next_state, time_ns))