let computeFirstPredecessor _stmt state =
    if state = State.Start then State.SameVal else state