diff -r 3c39d80fdede -r b654ca7a031a stage3/lvalue_check.hh
--- a/stage3/lvalue_check.hh	Thu May 10 16:09:50 2012 +0100
+++ b/stage3/lvalue_check.hh	Thu May 10 16:15:27 2012 +0100
@@ -35,12 +35,16 @@
 #include "../absyntax_utils/absyntax_utils.hh"
 #include "datatype_functions.hh"
 
-/*
- *  In this class we implemented all lvalue check.
- *  With lvalue check we mean all semantic error about
- *  assignment with wrong access
+
+/* Expressions on the left hand side of assignment statements have aditional restrictions on their datatype.
+ * For example, they cannot be literals, CONSTANT type variables, function invocations, etc...
+ * This class wil do those checks.
+ * 
+ * Note that assignment may also be done when passing variables to OUTPUT or IN_OUT function parameters,so we check those too.
  */
 
+
+
 class lvalue_check_c: public iterator_visitor_c {
 
   private: