Add formatters for set witness property op