Ensure blocks have unique names

[l-kent]

BAP can sometimes produce multiple blocks in a procedure that have the same name, such as in tests/correct/syscall/gcc_O2. This can cause problems as we do not make sure the blocks have unique names but we rely on the blocks having unique names.