adăugarea verificabilității stivei