hitdata-fn's wnb-postcondition works at last - next to refactor it into a real :post
Hitdata should work now