Non si tratta di una procedura, ma di una funzione, pertanto l'effetto del costrutto with viene applicato all'oggetto che si ottiene come valore di ritorno della funzione (che poi è in realtà un metodo, dato che appartiene ad una classe).

In generale, eviterei l'uso di with quando possibile, soprattutto nidificandolo... rischi di addentrarti in effetti collaterali difficili da "debuggare" in un secondo momento.

Ciao!