[CorrelatedValuePropagation] Infer nonnull attributes