rem: DBC_REQUIRE(status() == engine_status_running);
add: DBC_REQUIRE(status() == engine_status_running || status() == engine_status_finished);
context: void ECA_ENGINE::request_stop(void){   // ---  DBC_REQUIRE(status() == engine_status_running);  // ---  ecadebug->msg(ECA_DEBUG::system_objects, "(eca-engine) Request stop");  driver_repp->stop(false);}