================== assign_record_to_base ================== program() type B = record x: Int end R = record(B) y: Int end var x: ^B y: ^R begin x := y end. --- (source_file (program_declaration (type_section (type_declaration (identifier_definition (identifier)) (record_type (field_declaration (field_identifier (identifier)) (identifier)))) (type_declaration (identifier_definition (identifier)) (record_type (identifier) (field_declaration (field_identifier (identifier)) (identifier))))) (var_section (variable_declaration (identifier_definition (identifier)) (pointer_type (identifier))) (variable_declaration (identifier_definition (identifier)) (pointer_type (identifier)))) (assignment_statement (identifier) (identifier))))