let prepare_annot before_after config s l_post ca pred =
let id = mk_code_annot_id config.kf s ca in
let labels =
if before_after then NormAtLabels.labels_assert_before s
else NormAtLabels.labels_assert_after s l_post
in (labels, id, pred)