class PropCheck::Errors::MaxShrinkStepsExceededError