Better actor termination abstraction