Compilation of with statements