More formal class definition tests