Fix bug in globalize and uninterpreted functions.
Fix bug in globalize and uninterpreted functions.

Globalize was not changing the type of ops without defs, even if they
mentioned global state.

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

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