let get_called_post_conditions = get_called_postconds Cil_types.Normal