also show annotations in the control flow