Added a new checker: base class destructor is not virtual