Analyze a class hierarchy based on its symbol info and the annotations that were captured in the concrete field definition.
Perform the transitive serializable checks from the spore header.
Perform the transitive serializable checks from the spore header.