@Override
 public Iterator<String> varNames() {
   List<String> x = new ArrayList<String>();
   for (Iterator<Var> iter = binding.vars(); iter.hasNext(); ) {
     Var v = iter.next();
     x.add(v.getVarName());
   }
   return x.iterator();
 }