added a missing case for PUSH instruction with a global closure