public void checkDeclaration(Set declareSet) {
		if (instr instanceof StoreInstruction
				&& (((StoreInstruction) instr).getLValue() instanceof LocalStoreOperator)) {
			StoreInstruction storeOp = (StoreInstruction) instr;
			LocalInfo local = ((LocalStoreOperator) storeOp.getLValue())
					.getLocalInfo();
			if (declareSet.contains(local)) {
				/*
				 * Special case: This is a variable assignment, and the variable
				 * has not been declared before. We can change this to a
				 * initializing variable declaration.
				 */
				isDeclaration = true;
				declareSet.remove(local);
			}
		}
	}