+ extension->exploration_start();
+ });
+ DFSExplorer::on_backtracking(
+ [extension](RemoteApp const&) { extension->initial_communications_pattern_done = true; });
+ DFSExplorer::on_state_creation([extension](State* state, RemoteApp const& remote_app) {
+ state->extension_set(new StateCommDet(*extension, remote_app));