Bugfix for krivine, demo scripts work again
On halt its not possible to delete result stack, because it is still needed to
get the result