fix scope of assertion annotations