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