Move isKnownNonNull from private implementation detail of BasicAA to a public