Add Recursive ValidWhile and Lock, Unlock Stack