let get_inv annots = let l = List.filter (fun (goal, _p) -> goal) annots.p_inv in List.map (fun (_,p) -> p) l