/* Test complex validation function directly */

/* Complex function for testing */
complex_validation : x y -> (x > 0) and (y > 0) and (x + y > 10);

/* Test the function directly */
test1 : complex_validation 5 8;    /* Should be true */
test2 : complex_validation 0 8;    /* Should be false */
test3 : complex_validation 5 3;    /* Should be false */

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