Record extra debugging information during annotation. This leads to slightly
less obscure error messages.