Issue #277 - Add formatters for witness_set_properties