--- a/stage4/generate_c/generate_c_inlinefcall.cc	Fri Feb 24 18:16:56 2012 +0100
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Thu Mar 22 00:22:48 2012 +0100
@@ -1178,7 +1178,11 @@
 
 		// Transition condition is in ST
 		if (symbol->transition_condition_st != NULL) {
-			symbol->transition_condition_st->accept(*this);
+			function_call_iterator_c fc_iterator(symbol->transition_condition_st);
+			symbol_c* function_call;
+			while ((function_call = fc_iterator.next()) != NULL) {
+				function_call->accept(*this);
+			}
 		}
 
 		return NULL;