%terminates N (nat-neq N _).
%terminates N (lt N _).
%terminates {} (var-neq _ _).
%terminates {} (label-neq _ _).
%terminates E (env-ok E).

% some stuff deleted

%terminates {} (fast-check-program _ _).