Correct implementation of auto-determination of static array dimension. The automatic detection is now done in the semantic phase.