Add @Nullable to parameters with an accepting null branch

Adds JSpecify @Nullable to an unannotated reference parameter of a public Java method when a structural null check returns normally for that input before its first use. Preserves explicit nullability contracts and rejecting guards; skips overrides and varargs. Broad exception fallbacks and nullable outputs alone do not establish nullable input contracts.