test-models/symres_bool_func_no_return/symres_bool_func_no_return.dzn:5:14: error: missing return
