0025619: CAST analysis: Avoid classes with a non-empty destructor and not implementin...