This avoids compile warnings and ensures correct behaviour for future
IFormula subclasses implementing a destructor.