precondition fails here, kill the generated file
ensure we're ordering the releases correctly when storing and checking