0 init
1 add 1
2 add 0
3 assume -1
4 solve 0