Consider function coverage for blocks with calls #823

Job	Run time
clang-format	5m 41s
Docker	11m 13s
Linux (LLVM 14)	13m 59s
Coverage (STP)	14m 1s
Linux (LLVM 13)	13m 59s
Coverage (Z3)	14m 1s
macOS	9m 55s
Linux (LLVM 12)	14m 0s
Linux (LLVM 11, Doxygen)	14m 0s
Linux (LLVM 10)	13m 26s
Linux (LLVM 9)	13m 5s
Linux (ASan)	14m 2s
Linux (UBSan)	14m 1s
Linux (MSan)	14m 2s
Linux (Z3 only)	13m 1s
Linux (metaSMT)	14m 0s
Linux (STP master)	14m 0s
Linux (Latest klee-uclibc)	14m 0s
Linux (Asserts disabled)	13m 12s
Linux (No TCMalloc, optimised runtime)	12m 53s
	4h 20m 31s

Provide feedback