#65 Improve detection of what variables are initialized

[Andrei Kapustin]

in "procedure p(x : ^integer); { declare a : integer; p(&a); }" the "a" shall be considered initialized after the call. In "procedure p(x : ^constant integer); { declare a : integer; p(&a); }" the "a" shall NOT be considered initialized after the call.

In "type Point = structure{x, y:integer}; { declare p : Point; p.x = p.y = 0; }" the "p" shall be considered initialized after the assignment.