type->get_entity_value(operation));
} else {
// FIXME From rktesser: Ugly workaround!
// TI tracing uses states as events, and does not support printing events.
// So, we need a different code than for replay in order to be able to
// generate ti_traces for the migration calls.
type->get_entity_value(operation));
} else {
// FIXME From rktesser: Ugly workaround!
// TI tracing uses states as events, and does not support printing events.
// So, we need a different code than for replay in order to be able to
// generate ti_traces for the migration calls.