Function termSubsumedBy

pkg/workflow/expression_optimizer.go:192–205

termSubsumedBy returns true when cand is subsumed by sub, meaning sub |= cand (cand is "more specific"). In a disjunction this makes cand redundant: disj(sub, cand) = sub. Only applies when neither term contains a status func. Example: sub=A, cand=A&&B → every model satisfying A&&B also satisfies A

(cand, sub ConditionNode)

// Example: sub=A, cand=A&&B → every model satisfying A&&B also satisfies A,
// so A already covers A&&B in a disjunction.
func termSubsumedBy(cand, sub ConditionNode) bool {
	if nodesEqual(cand, sub) {
		return false // identical terms are handled by dedup, not subsumption
	}
	if containsStatusFunc(cand) || containsStatusFunc(sub) {
		return false
	}
	for _, ct := range collectAndTerms(cand) {
		if nodesEqual(ct, sub) {
			return true
		}
	}
	return false
}

// --- node-specific optimisers ------------------------------------------------