Quantity ContactPossibleOverconstraintTracker.RealAtMaximumAmplitude { get; }