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