Disjunction

constructor(capturingId: Int, branches: List<List<K3SearchInstr>>, isDeterministic: Boolean = false, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())(source)