# safety-only overlay for the fix-mutant comparison (liveness targets need their own engine mix and are compared separately)
exclude -asserts *.ast_live_*
# the fairness assumptions serve only the liveness targets; excluded here so the safety verdicts visibly do not rest on them
exclude -assumes *.asm_fair_*
