let get_postdom kf graph s =
  try
    match Kinstr.Hashtbl.find graph (Kstmt s) with
    | None -> Stmt.Set.empty
    | Some l -> l
  with Not_found ->
    try
      let postdom = !Db.Postdominators.stmt_postdominators kf s in
      let postdom = Stmt.Set.remove s postdom in
      Postdominators_parameters.debug "postdom for %d:%a = %a\n"
        s.sid pretty_stmt s Stmt.Set.pretty postdom;
      Kinstr.Hashtbl.add graph (Kstmt s) (Some postdom); postdom
    with Db.Postdominators.Top ->
      Kinstr.Hashtbl.add graph (Kstmt s) None;
      raise Db.Postdominators.Top