Files
fz-lang/tests/programs/negr_infinite_while.fzs
T