test/all/undefined/var/var.dzn:27:11: error
    on e: a = true;
          ^
          undefined identifier `a'
