tests for the henify() function