Catch loads and stores of global variables via non-trivial geps