Support eval_with_binding