let add_fct_pre a acc = add NormAtLabels.labels_fct_pre acc (PKfctPre a)