let add_stmt_spec_post s a acc =
  add (NormAtLabels.labels_spec_pre s) acc (PKspecPost (s, a))