int nvars = 0;

          if (leveldata.level == 0)
            ++nvars;

  const int nvars = int(var.mfabs.size());