/* Debug test for function call evaluation */ is_even : n -> n % 2 = 0; test_debug : n -> when is_even n is true then "even" false then "odd"; /* Test the function call separately */ result1 : is_even 4; result2 : is_even 5; /* Test with explicit boolean comparison */ test_explicit : n -> when (is_even n = true) is true then "even" false then "odd"; result3 : test_explicit 4; ..out result1; ..out result2; ..out result3;