* The way duplicated basic blocks are prefixed is kludgy and non-thread safe.
  Generate the number somehow more intelligently based on the WI value.

