let
computeFirstPredecessor _stmt state = state