Files
fz-lang/tests/programs/negr_infinite_for.fzs