Modificado verificar_acceso_atributos para que retorne un TypeS*