Class the Shrunk Witness Before a Property Failure Can Be Frozen

A property failure is not a flake freeze. It becomes eligible for a freeze only after the input is...