@$core.Deprecated('This field is deprecated.') @$pb.TagNumber(7) $core.bool hasIncrement() => $_has(6);