Abstracting non-variables under pre into new variable