- if (req->observer_ != nullptr) {
- const smx_actor_t issuer = simcall_get_issuer(req);
- const char* color = get_color(issuer->get_pid() - 1);
- return "label = \"" + mc_model_checker->simcall_dot_label(issuer->get_pid(), value) + "\", color = " + color +
- ", fontcolor = " + color;
- } else
- return "UNIMPLEMENTED";
+ const char* color = get_color(aid - 1);
+ return "label = \"" + mc_model_checker->simcall_dot_label(aid, value) + "\", color = " + color +
+ ", fontcolor = " + color;