Increase an InScopeSet for a substitution
Increase an InScopeSet for a substitution

This is a further fix for #11814

(cherry picked from commit 8d66765c4de22c01b8ae97570ed6c5f5c1a16a35)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc