Create alpha-equvalency format solver #931

Job	Run time
Coverage (STP)	48m 43s
Coverage (Z3)	41m 18s
Linux (LLVM 14)	17m 13s
Docker	17m 9s
clang-format	5m 56s
Linux (LLVM 13)	16m 29s
macOS	12m 34s
Linux (LLVM 12)	21m 2s
Linux (LLVM 11, Doxygen)	16m 53s
Linux (LLVM 10)	14m 30s
Linux (LLVM 9)	15m 21s
Linux (ASan)	53m 37s
Linux (UBSan)	57m 6s
Linux (MSan)	57m 39s
Linux (Z3 only)	20m 43s
Linux (metaSMT)	38m 51s
Linux (STP master)	20m 21s
Linux (Latest klee-uclibc)	23m 18s
Linux (Asserts disabled)	15m 42s
Linux (No TCMalloc, optimised runtime)	20m 6s
	8h 54m 31s

Provide feedback