Fix loop contracts transformation when loops in branching #8764

Job	Run time
benchcomp-tests	6m 43s
documentation	2m 39s
perf	35m 30s
regression (macos-13)	45m 22s
write-json-symtab-regression	15m 55s
regression (ubuntu-20.04)	28m 25s
regression (ubuntu-22.04)	30m 12s
regression (macos-14)	28m 0s
	3h 12m 46s

Provide feedback