Indeed, Pony can automatically detect actors with empty stacks and message queues, also when these are part of a cycle.