fix(CfgBuilder): PHI nodes before branch in self-loop blocks.
fix(CfgBuilder): PHI nodes before branch in self-loop blocks.

If the block is a self-loop then we need to insert the assignments
from the PHI nodes before the assume statements from the branch
instruction.

seahorn/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm