Boolean ContactPossibleOverconstraintTracker.IsSolved { get; }