--- a/absyntax_utils/decompose_var_instance_name.cc	Tue Aug 20 17:35:11 2013 +0100
+++ b/absyntax_utils/decompose_var_instance_name.cc	Mon Aug 05 08:26:30 2013 +0100
@@ -54,19 +54,18 @@
   previously_returned_variable_name = NULL;
 }
 
-symbol_c *decompose_var_instance_name_c::next_part(bool increment) {
+symbol_c *decompose_var_instance_name_c::next_part() {
   /* We must always start from the top!
    * See note in the structured_variable_c visitor
    * to understand why...
    */
   symbol_c *res = (symbol_c *)variable_name->accept(*this);
-  if (increment)
-    next_variable_name = current_recursive_variable_name;
+  next_variable_name = current_recursive_variable_name;
 
   if (previously_returned_variable_name == res)
-	  return NULL;
-  if (increment)
-    previously_returned_variable_name = res;
+    return NULL;
+  
+  previously_returned_variable_name = res;
   return res;
 }
 

--- a/absyntax_utils/decompose_var_instance_name.hh	Tue Aug 20 17:35:11 2013 +0100
+++ b/absyntax_utils/decompose_var_instance_name.hh	Mon Aug 05 08:26:30 2013 +0100
@@ -78,7 +78,7 @@
   public:
     decompose_var_instance_name_c(symbol_c *variable_instance_name);
 
-    symbol_c *next_part(bool increment = true);
+    symbol_c *next_part(void);
 
   private:
   /*************************/