Improve coverage branches tests #1029

Job	Run time
Coverage (STP)	28m 31s
Coverage (STP)	28m 31s
Coverage (STP)	28m 31s
clang-format	5m 48s
clang-format	5m 48s
clang-format	5m 48s
Coverage (Z3)	43m 39s
Coverage (Z3)	43m 39s
Coverage (Z3)	43m 39s
Linux (LLVM 14)	19m 43s
Linux (LLVM 14)	19m 43s
Linux (LLVM 14)	19m 43s
Docker	7m 54s
Docker	7m 54s
Docker	7m 54s
macOS	9m 20s
macOS	9m 20s
macOS	9m 20s
Linux (LLVM 13)	11m 57s
Linux (LLVM 13)	11m 57s
Linux (LLVM 13)	11m 57s
Linux (LLVM 12)	24m 14s
Linux (LLVM 12)	24m 14s
Linux (LLVM 12)	24m 14s
Linux (LLVM 11, Doxygen)	11m 12s
Linux (LLVM 11, Doxygen)	11m 12s
Linux (LLVM 11, Doxygen)	11m 12s
Linux (LLVM 10)	15m 37s
Linux (LLVM 10)	15m 37s
Linux (LLVM 10)	15m 37s
Linux (LLVM 9)	19m 57s
Linux (LLVM 9)	19m 57s
Linux (LLVM 9)	19m 57s
Linux (ASan)	36m 10s
Linux (ASan)	36m 10s
Linux (ASan)	36m 10s
Linux (UBSan)	58m 1s
Linux (UBSan)	58m 1s
Linux (UBSan)	58m 1s
Linux (MSan)	4h 3m 8s
Linux (MSan)	6h 0m 15s
Linux (MSan)	3h 4m 26s
Linux (Z3 only)	11m 12s
Linux (Z3 only)	11m 12s
Linux (Z3 only)	11m 12s
Linux (metaSMT)	18m 40s
Linux (metaSMT)	18m 40s
Linux (metaSMT)	18m 40s
Linux (STP master)	18m 28s
Linux (STP master)	18m 28s
Linux (STP master)	18m 28s
Linux (Latest klee-uclibc)	15m 35s
Linux (Latest klee-uclibc)	15m 35s
Linux (Latest klee-uclibc)	15m 35s
Linux (Asserts disabled)	17m 24s
Linux (Asserts disabled)	17m 24s
Linux (Asserts disabled)	17m 24s
Linux (No TCMalloc, optimised runtime)	10m 42s
Linux (No TCMalloc, optimised runtime)	10m 42s
Linux (No TCMalloc, optimised runtime)	10m 42s
	1d 8h 20m 1s

Provide feedback