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