Quantity ContactPossibleOverconstraintTracker.Maximum { get; }