raph-amiard/Z3 — comment on commit 1912040bf6e877e93ea94c15156632aa57ef5ff6
File: src/GenBlock.cpp line 352
By raph-amiard:

This was bad because here, the builder is already set to insert instructions into the current block (LlvmBlock)