--- a/stage3/stage3.cc	Thu Jul 19 11:05:41 2012 +0100
+++ b/stage3/stage3.cc	Thu Jul 19 13:42:05 2012 +0100
@@ -55,8 +55,11 @@
 }
 
 
-/* Type safety analysis assumes that flow control analysis has already been completed,
- * so be sure to call flow_control_analysis() before calling this function
+/* Type safety analysis assumes that 
+ *    - flow control analysis 
+ *    - constant folding (constant check)
+ * has already been completed, so be sure to call those semantic checkers
+ * before calling this function
  */
 static int type_safety(symbol_c *tree_root){
 	fill_candidate_datatypes_c fill_candidate_datatypes(tree_root);