Fixed take from incremental vector with no frames #840

Job	Run time
Docker	11m 53s
Coverage (STP)	45m 52s
Linux (LLVM 14)	14m 36s
Coverage (Z3)	49m 26s
Linux (LLVM 13)	23m 16s
macOS	11m 43s
Linux (LLVM 12)	21m 20s
clang-format	5m 45s
Linux (LLVM 11, Doxygen)	16m 3s
Linux (LLVM 10)	16m 19s
Linux (LLVM 9)	14m 17s
Linux (ASan)	47m 32s
Linux (UBSan)	57m 35s
Linux (MSan)	1h 1m 15s
Linux (Z3 only)	23m 16s
Linux (metaSMT)	45m 7s
Linux (STP master)	15m 23s
Linux (Latest klee-uclibc)	16m 58s
Linux (Asserts disabled)	21m 3s
Linux (No TCMalloc, optimised runtime)	14m 16s
	8h 52m 55s

Provide feedback