chore: use FVarIdHashSet in LCNF collectUsed#8778

zwarich merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

zwarich:collect-used-hash-setzwarich/lean4:collect-used-hash-setCopy head branch name to clipboard