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

This is good because, in case another function has been generated in the if block, the builder will be set to insert into one of the function's block. So you want to tell it to insert back again in the current function