VariablesInExpression::~VariablesInExpression() { ClearAllTables(); }
ToSATAIG::~ToSATAIG() { ClearAllTables(); }