/* Test the original failing case */
is_even : n -> n % 2 = 0;

test_original : n ->
  when is_even n is
    true then "even"
    false then "odd";

result : test_original 4;
..out result;