public Expression eliminateLet() { Vector<Expression> new_operands = new Vector<Expression>(); for (Expression o : operands) { new_operands.add(o.eliminateLet()); } return new Application(operator.eliminateLet(), new_operands); }