// BUG: Escalation does not lead to fatal error
//    if (escalate_i != 0 ) begin
//      state_d = err_state;
// FIX:
if (escalate_i != 0 ) begin
      state_d = err_state;
      fsm_err_o = 1'b1;
// BUG: