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