Symbol: WITNESS_ORDER_LISTS