System.out.println("getNewVariable(): " + variable);
	public Variable getNewVariable() {		count += 1;		System.out.println("getNewVariable(): " + variable);		Variable var = (Variable) variable.clone();		var.setSSAValue(count);		stack.add(var);		System.out.println("getNewVariable(): " + var);		return var;	}