public abstract void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars);
public abstract void collectFreeVariables(THashSet<Variable> vars);
/**
public abstract void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars);
public abstract void collectFreeVariables(THashSet<Variable> vars);
/**