prevent loop cleanup code from leaking into loop body annotation