public VariableStack mapStackToLocal(VariableStack stack) {
		VariableStack newStack;
		if (exceptionLocal == null) {
			pushedLocal = new LocalInfo();
			pushedLocal.setType(exceptionType);
			newStack = stack.push(pushedLocal);
		} else
			newStack = stack;
		return super.mapStackToLocal(newStack);
	}