Dump nullable dereferences
AnnotationInfo analysis
AnnotationInfo.hasAnnotation()