Fix computation bug in the abstract machine, now compute add (add 1 2) 3 correct again