let frama_c_dump_assert state _actuals =
Value_parameters.result ~current:true "Frama_C_dump_assert_each called:@\n(%a)@\nEnd of Frama_C_dump_assert_each output"
Cvalue.Model.pretty_c_assert state;
None, state, Location_Bits.Top_Param.bottom