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