%begin
  %predicate fred(%integer i)
    %true %if i = 1
    %false
  %end
  %if fred(1) %then %stop
  %unless fred(1) %then %stop
%endofprogram