Do we need to do assertions in a cleanup function?