let get_called_exit_conditions = get_called_postconds Cil_types.Exits