Adds assertions of proper base classes