(lambda (x) (+ x x)) ---- assert_execution_success