Debug tracing of cxy_synch:before_task