[bugpoint] make tool selection messages unique