test/all/undefined/reply/reply.dzn:27:17: error: undefined identifier `b'
