let computeFirstPredecessor (_s: stmt) state =
    { counter_unroll = 0; value = state.value;}