reformat witness2ast #82

Job	Run time
build	16s
test-benchexec (bubaak)	1m 35s
test-benchexec (cbmc)	19m 19s
test-benchexec (coveriteam-verifier-algo-selection)	55s
test-benchexec (coveriteam-verifier-parallel-portfolio)	16m 15s
test-benchexec (cpa-lockator)	2m 31s
test-benchexec (cpachecker)	17m 7s
test-benchexec (cseq)	24m 9s
test-benchexec (dartagnan)	5m 43s
test-benchexec (deagle)	4m 44s
test-benchexec (divine)	21m 31s
test-benchexec (ebf)	19m 50s
test-benchexec (esbmc-incr)	4m 28s
test-benchexec (esbmc-kind)	18m 44s
test-benchexec (goblint)	1m 32s
test-benchexec (graves-par)	5m 42s
test-benchexec (graves)	17m 48s
test-benchexec (infer)	37m 50s
test-benchexec (lazycseq)	1m 20s
test-benchexec (lf-checker)	2m 18s
test-benchexec (pesco)	18m 9s
test-benchexec (pichecker)	19m 43s
test-benchexec (symbiotic)	7m 31s
test-benchexec (theta)	4m 2s
test-benchexec (uautomizer)	4m 2s
test-benchexec (ugemcutter)	1m 58s
test-benchexec (utaipan)	3m 21s
collect-results	1m 46s
	4h 44m 9s

Provide feedback