let add_annot before_after s ca a acc = let labels = NormAtLabels.labels_assert before_after s in add labels acc (PKassert (ca, before_after, s, a))