opt splitWhere
iterate tracing