@Override
 public void topDownInit() {
   super.topDownInit();
   _next = true;
   from = var.getLB();
   to = var.getUB();
 }
 @Override
 public void bottomUpInit() {
   super.bottomUpInit();
   _next = true;
   from = var.getLB();
   to = var.getUB();
 }