[svn r131] Fixed #11 All associative array properties now work as they should. Fixed problems with some cases of array.length and array.ptr. Fixed some problems with array properties. Fixed 'in' contracts.

module goto1;

void main()
{
    int i;
    goto lbl;
    i++;
lbl:
    assert(i == 0);
}