ddc-core-flow: loop code from Wind transform typechecks
ddc-core-flow: update guard entry counter in Wind transform