Haven't found other uses of nclose_infinite. Noticed by chance while reading the proof.
nclose_infinite