Green Property Checks Must Not Refill a Flake Freeze Token

A flake freeze is a single-spend token. A later property pass does not refill its replay budget, and...