code: public boolean lt(int x, int y) {
      return this.vars.get(x).activity() > this.vars.get(y).activity();
    }
docs: Compares two variables by their activity.
  @param x the first variable
  @param y the second variable
  @return {@code true} if the first variable's activity is larger then the second one's