public THashSet<Variable> getFreeVariables() {
THashSet<Variable> result = new THashSet<Variable>();
collectFreeVariables(result);
public THashSet<Variable> getFreeVariables() {
THashSet<Variable> result = new THashSet<Variable>();
collectFreeVariables(result);