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