Test class-superclass generation from tboxreasoner