(eval-exp (call (fun "seqplus" "x" (ifnz (isgreater (var "x") (int 0))
                                                        (add (var "x") (int 1))
                                                        (call (var "seqplus") (int 10)))) (int 2)))