Empty destructor issue

Warns when a destructor is empty.
See tests for examples.