Title: Detecting global variables in denotational specifications