AbsoluteMaxCardinalityOfIntegerRanges
ArrayIndexOutOfBoundsException
abruptSubroutineTermination
abstractInterpretationEnded
addCallToNullPointerExceptionConstructor
allReturnFromMethodInstructions
allReturnVoidInstructions
allUnresolvableMethodCalls
annotationsIndicatingImplicitUsage