in e.g. "declare p : Point; with (p) { .x = 0; .y = 0; }" compiler compains that "p" is not initialised in "with" statement!