Cycle 0
  formal_initialized = 0
  request_grant_fsm.state = 10
  request_grant_fsm.clk_prev = 0
  request_grant_contract.safety.clock_previous = 0
  request_grant_contract.safety.state_0 = 0
  request_grant_contract.safety.state_1 = 1
  request_grant_contract.reactivity.clock_previous = 0
  request_grant_contract.reactivity.state_0 = 1
  request_grant_contract.reactivity.state_1 = 0
  clk = 0
  rst_n = 0
  request = 0
  request_grant_contract.reactivity.edge = 00

Cycle 1
  formal_initialized = 1
  request_grant_fsm.state = 10
  request_grant_fsm.clk_prev = 0
  request_grant_contract.safety.clock_previous = 0
  request_grant_contract.safety.state_0 = 0
  request_grant_contract.safety.state_1 = 1
  request_grant_contract.reactivity.clock_previous = 0
  request_grant_contract.reactivity.state_0 = 1
  request_grant_contract.reactivity.state_1 = 0
  clk = 1
  rst_n = 1
  request = 1
  request_grant_contract.reactivity.edge = 00