trunc_hProp -> isset_hProp, deduplicate it

This closes #366
Merge pull request #368 from JasonGross/isset_hprop

trunc_hProp -> isset_hProp, deduplicate it
./autogen.sh