test-models/wf_variableInitExpression/wf_variableInitExpression.dzn:22:14: error: undefined identifier `c'
test-models/wf_variableInitExpression/wf_variableInitExpression.dzn:24:22: error: variable reference in member variable initializer
