Function includesWildcards

src/compute-engine/boxed-expression/rules.ts:1494–1498

Return true if all the wildcards of a are included in b

(a: Expression, b: Expression)

    const r = applyRule(rule, expr, sub, options);

    // Verify that the results are unique
    if (r !== null && !results.some((x) => x.value.isSame(r.value)))
      results.push(r);
  };

  // Operator-indexed dispatch (see rule-index.ts). `expr` never changes
  // during the scan, so a single candidate pass preserves the declaration
  // order (and thus the dedup behavior) of the linear scan. With