Function referencesCompatHead

scripts/fungrim/compile-rules.ts:1357–1360

(formula: MathJSON)

      if (ok && dfs(depth + 1)) return true;
      if (budget <= 0) return false;
    }
    delete sub[wc];
    delete seed[wc];
    return false;
  };

  return dfs(0) ? seed : null;