public override void Add(IFormula formula)
{
if (formula.IsCachable() && !isAlreadyCached(formula))
{
base.Add(formula);
}
}
protected override void Visit(IFormula formula)
{
if (formula.IsCachable())
{
return;
}
unregister(formula);
}