let
doGuard s _e _t =
current_stmt :=
Kstmt
s;
Dataflow
.
GDefault
,
Dataflow
.
GDefault