/* Detailed debugging of function calls in when expressions */

/* Helper functions for testing */
is_even : n -> n % 2 = 0;

/* Test the function directly */
test1 : is_even 4;
test2 : is_even 7;
..out test1;
..out test2;

/* Number classification using function calls in patterns */
classify_number : n ->
  when (is_even n) is
    true then "even number"
    false then "odd number";

/* Test number classification */
even_class : classify_number 4;
odd_class : classify_number 7;

..out "Classification results:";
..out even_class;
..out odd_class;