rem:  gShowingNavMenuPopup != gShowingNavMenuPopup; 
context: function BrowserNavMenuPopup() {  if (!gShowingNavMenuPopup){    document.getElementById("menu_NavPopup").showPopup(document.getElementById("nav-menu-button"),-1,-1,"popup","bottomright", "topright");  }  else {    document.getElementById("menu_NavPopup").hidePopup();  }    gShowingNavMenuPopup != gShowingNavMenuPopup;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/b5502d4a331847e647159aa57e73a9dffbb6af2a/minimo.js/buggy/minimo/chrome/content/minimo.js