Detecting global variables in denotational specifications | lit.salon