/* Test just the complex validation part */

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

/* Using complex function in pattern */
validate_pair : x y ->
  when (complex_validation x y) is
    true then "valid pair"
    false then "invalid pair";

/* Test complex validation */
valid_pair : validate_pair 5 8;
..out valid_pair;