let computeFirstPredecessor _stmt state = state