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)