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