consistent_subtypes_record proven