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