this.propertySet = new WarningPropertySet();
	public FindDeadLocalStores(BugReporter bugReporter) {		this.bugReporter = bugReporter;		this.propertySet = new WarningPropertySet();		if (DEBUG) System.out.println("Debugging FindDeadLocalStores detector");	}