--- a/stage3/lvalue_check.cc	Thu May 10 16:09:50 2012 +0100
+++ b/stage3/lvalue_check.cc	Thu May 10 16:15:27 2012 +0100
@@ -32,6 +32,16 @@
  */
 
 
+
+/* 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.
+ */
+
+
+
 #include "lvalue_check.hh"
 
 #define FIRST_(symbol1, symbol2) (((symbol1)->first_order < (symbol2)->first_order)   ? (symbol1) : (symbol2))

--- 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: