let get infos ~with_s stmt =
    try
      let stmt_to_ret, postdoms = match Stmt.Hashtbl.find infos stmt with
        | State.ToInfinity postdoms -> false, postdoms
        | State.ToReturn postdoms -> true, postdoms
        | State.Init -> assert false
      in let postdoms =
        if with_s then Stmt.Hptset.add stmt postdoms else postdoms
      in 
        Pdg_parameters.debug ~dkey ~level:2 
          "get_postdoms for sid:%d (%s) = %a (%spath to ret)@." 
          stmt.sid (if with_s then "with" else "without")
          Stmt.Hptset.pretty postdoms (if stmt_to_ret then "" else "no ");
        stmt_to_ret, postdoms
    with Not_found -> assert false