test-models/wf_expressionExpected/wf_expressionExpected.dzn:14:5: error: data variable in interface not supported: `j'
test-models/wf_expressionExpected/wf_expressionExpected.dzn:15:5: error: data variable in interface not supported: `k'
test-models/wf_expressionExpected/wf_expressionExpected.dzn:16:6: error: <bool> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:17:6: error: <bool> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:19:11: error: <bool> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:20:14: error: <bool> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:21:18: error: <bool> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:22:19: error: <int> expression expected
test-models/wf_expressionExpected/wf_expressionExpected.dzn:23:14: error: type mismatch in binary operator: `bool' versus `wf_expressionExpected.SI'
test-models/wf_expressionExpected/wf_expressionExpected.dzn:24:14: error: extern data-type `Int' expression in binary operator
test-models/wf_expressionExpected/wf_expressionExpected.dzn:24:19: error: extern data-type `Int' expression in binary operator
test-models/wf_expressionExpected/wf_expressionExpected.dzn:26:16: error: extern data-type `<unknown type>' expression in binary operator
