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