--- a/stage4/generate_c/generate_c_inlinefcall.cc	Sat Mar 31 21:36:17 2012 +0100
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Sat Mar 31 21:46:37 2012 +0100
@@ -1183,7 +1183,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;