aspect ArrayInits {
	  syn lazy boolean Expr.isArrayInit() = false;
	  eq ArrayInit.isArrayInit() = true;
	  
	  public Expr Expr.wrapArrayInit() {
		  if(isArrayInit())
			  return new ArrayCreationExpr(type().createLockedAccess(), new Opt(this));
		  return this;
	  }

}