Improving bind value inference.