trunc_hProp -> isset_hProp, deduplicate it

This closes #366