let get_hyp_only annots = let l = annots.p_both in let l = if new_loops then l @ annots.p_inv else l in let add_both_hyp acc (goal, p) = if goal then acc else p::acc in List.fold_left add_both_hyp annots.p_hyp l