algoritmo correttezza

Problema con push... questo è il mio algoritmo correttezza