Factor out common 'bad annotation' code into LS_ABORT()