let
add_stmt_spec_pre s a acc =
add (
NormAtLabels
.labels_spec_pre s) acc (
PKspecPre
(s, a))