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