diff -r c8cd69801b7e -r 3bd2704d9ba9 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Fri Dec 28 16:24:17 2012 +0100
+++ b/stage3/constant_folding.cc	Mon Dec 31 11:02:38 2012 +0100
@@ -952,7 +952,7 @@
 void *constant_folding_c::visit(symbolic_variable_c *symbol) {
 	std::string varName;
 
-	varName = convert.toString(symbol->var_name);
+	varName = get_var_name_c::get_name(symbol->var_name)->value;
 	if (values.count(varName) > 0) {
 		symbol->const_value = values[varName];
 	}
@@ -969,7 +969,7 @@
 	search_var_instance_decl_c search_var_instance_decl(symbol);
 	function_param_iterator_c fpi(symbol);
 	while((var_name = fpi.next()) != NULL) {
-		std::string varName = convert.toString(var_name);
+		std::string varName = get_var_name_c::get_name(var_name)->value;
 		symbol_c   *varDecl = search_var_instance_decl.get_decl(var_name);
 		values[varName] = varDecl->const_value;
 	}
@@ -1258,7 +1258,7 @@
 
 	symbol->r_exp->accept(*this);
 	symbol->l_exp->const_value = symbol->r_exp->const_value;
-	varName = convert.toString(symbol->l_exp);
+	varName = get_var_name_c::get_name(symbol->l_exp)->value;
 	values[varName] = symbol->l_exp->const_value;
 
 	return NULL;
@@ -1320,7 +1320,7 @@
 	values_incoming = values; /* save incoming status */
 	symbol->beg_expression->accept(*this);
 	symbol->end_expression->accept(*this);
-	varName = convert.toString(symbol->control_variable);
+	varName =  get_var_name_c::get_name(symbol->control_variable)->value;
 	values[varName] = symbol->beg_expression->const_value;
 
 	/* Optimize dead code */