public boolean markFinal() {
		LocalInfo li = getLocalInfo();
		Enumeration enum_ = li.operators.elements();
		int writes = 0;
		while (enum_.hasMoreElements()) {
			if (((LocalVarOperator) enum_.nextElement()).isWrite())
				writes++;
		}
		/* FIXME: Check if declaring final is okay */
		li.isFinal = true;
		return true;
	}