change interp:eval to interp:eval_ir
update demo/demo_1.txt