> [ 2.000000] (maestro@) Actor B terminates now
> [ 3.000000] (maestro@) Actor B gets destroyed now
> [ 3.000000] (C@Ginette) And now, induce a deadlock by waiting for a message that will never come
> [ 2.000000] (maestro@) Actor B terminates now
> [ 3.000000] (maestro@) Actor B gets destroyed now
> [ 3.000000] (C@Ginette) And now, induce a deadlock by waiting for a message that will never come