# Regression guard for the fix-point dataflow analysis in
# src/semantics/dead_var.rs (project_comp_var_blowup). The pre-fix
# coarse analysis exploded this model to 11,264 states (417× dzn's 27);
# the post-fix fix-point + bool/enum gate collapses it to 11 (under
# dzn). Any regression in the dataflow analysis re-trips the global
# state-count budget (DEFAULT_MAX_STATE_FACTOR=20× golden 27 = 540).
# No verify baseline — the model has no interesting verify behaviour.
skip simulate
skip c
skip cs
skip scheme
skip javascript
