prd_importation :: IMPORTATION -> Set.Set NAME
prd_importation (Imp_name n) = prd_name n
prd_importation :: IMPORTATION -> Set.Set NAME
prd_importation (Imp_name n) = prd_name n
prd_importation (Imp_name n) = prd_name n