deadStore = null; potentiallyDeadStoresFromBeforeFallthrough.clear();
         public void visit(Code obj) {		reachable = false;		lastPC = 0;		found.clear();		switchHdlr = new SwitchHandler();		potentiallyDeadStores.clear();		priority = NORMAL_PRIORITY;		fallthroughDistance = 1000;		super.visit(obj);		if (!found.isEmpty() && found.size() < 4) {			BugInstance bug = new BugInstance(this, "SF_SWITCH_FALLTHROUGH", priority)        			.addClassAndMethod(this).addAnnotations(found);			bugReporter.reportBug(bug);					}	}