Extracted many Union specs into abstract_struct_shared.
Record passes all abstract_struct_shared specs.