/* Debug test for comparison logic */ is_even : n -> n % 2 = 0; test_debug : n -> when (is_even n) is true then "even" false then "odd"; result : test_debug 4; ..out result;