diff -r 587884880be6 -r 01f6664bf8c5 stage3/datatype_functions.hh
--- a/stage3/datatype_functions.hh	Thu Mar 01 10:28:27 2012 +0000
+++ b/stage3/datatype_functions.hh	Fri Mar 02 12:53:41 2012 +0000
@@ -154,6 +154,10 @@
  */
 void intersect_candidate_datatype_list(symbol_c *list1 /*origin, dest.*/, symbol_c *list2 /*with*/);
 
+/* intersect the candidate_datatype lists of all prev_il_intructions, and set the local candidate_datatype list to the result! */
+void intersect_prev_candidate_datatype_lists(il_instruction_c *symbol);
+
+
 
 /* A helper function... */
 bool is_ANY_ELEMENTARY_type         (symbol_c *type_symbol);
@@ -206,8 +210,9 @@
 
 
 bool is_type_equal(symbol_c *first_type, symbol_c *second_type);
-
-// typedef bool (*helper_function_t) (symbol_c *type_symbol);  /* a pointer to a function! */
+bool is_type_valid(symbol_c *type);
+
+
 
 
 #endif /* _HELPER_FUNCTIONS_HH_ */