Empty witnesses: Treat empty witness content as a single empty token