Semantic analysis: length variable checking.

The length of the variables during their initialization is checked.