code: public SortedSet<Variable> variables() {
      if (this.variables == null) {
        this.variables = new TreeSet<>();
        for (final Formula f : this.formulas)
          this.variables.addAll(f.variables());
      }
      return this.variables;
    }
docs: Returns all variables occurring in this formula list.
  @return all variables occurring in this formula list