Size field now not always unknown.

The variables which are declared within a function now have their size
guessed.