let get_postdoms infos ~without stmt =
try
let stmt_to_ret, postdoms = match States.find infos stmt.sid with
| ToInfinity postdoms -> false, postdoms
| ToReturn postdoms -> true, postdoms
| Init -> assert false
in let postdoms = if without then S.remove stmt postdoms else postdoms in
stmt_to_ret, postdoms
with Not_found -> assert false