/* Debug test for enhanced case statements */

/* Simple test first */
mod3 : n -> n % 3;
mod5 : n -> n % 5;
is_zero : x -> x = 0;

/* Test basic function calls */
test1 : mod3 15;
test2 : mod5 15;
test3 : is_zero 0;

..out test1;
..out test2;
..out test3;

/* Test table with function calls */
test_table : {mod3 15, mod5 15};
..out test_table;