(define test_add (lambda (x y) (+ x y))) ---- assert_execution_success