fixed bug in Aliver transaction
added test for dead stack