Have Worker context manager rely on push()/pop()