branches.emplace_back(format("Element type: %s %s", get_label(*type.base_type), format_type(type.base_type->name)));
if(type.shadow)
branches.emplace_back("Shadow");
branches.emplace_back(format("Element type: %s %s", get_label(*type.base_type), format_type(type.base_type->name)));
if(type.shadow)
branches.emplace_back("Shadow");