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