let
get_called_exit_conditions = get_called_postconds
Cil_types
.
Exits