[feat] Removed unwanted calls pass #974

Job	Run time
Docker	14m 52s
clang-format	6m 49s
Coverage (STP)	51m 53s
Linux (LLVM 14)	15m 47s
Coverage (Z3)	42m 26s
macOS	6m 29s
Linux (LLVM 13)	22m 12s
Linux (LLVM 12)	18m 21s
Linux (LLVM 11, Doxygen)	23m 28s
Linux (LLVM 10)	19m 53s
Linux (LLVM 9)	16m 39s
Linux (ASan)	1h 3m 50s
Linux (UBSan)	59m 29s
Linux (MSan)	2h 6m 57s
Linux (Z3 only)	15m 52s
Linux (metaSMT)	35m 9s
Linux (STP master)	17m 24s
Linux (Latest klee-uclibc)	20m 37s
Linux (Asserts disabled)	15m 8s
Linux (No TCMalloc, optimised runtime)	23m 26s
	10h 16m 41s

Provide feedback