Keep track of an extra branch, so we can distinguish
conditionally-null values with two branches from
conditionally-null values with three or more branches.
Deprecated.AnnotationDatabases are being phased out, since
annotations are now stored directly in the XClass/XMethod/XField objects.
Resolving nullness annotations will be handled through the
JSR-305 type qualifier code.