add `WHNFData'