let
doStmt (s: stmt) (_d: t) =
current_stmt :=
Kstmt
s;
Dataflow
.
SDefault