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