Re: with(a,b,c, ...) blocks..

[ixid]

Theoretically legal...

 void func()
 //in/out contracts
 body with (E) { //with replaces normal block
 }

This seems sensible. Multiple with seems like a recipe for 
confusion and member name clashes.