Added line to disable collection of xref information thereby improving load time for code containing many nested closures.
Added line to disable collection of xref information thereby improving
load time for code containing many nested closures.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@226 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware