Fixed sinknode detection #26

Job	Run time
build	26s
test-benchexec (bubaak)	32s
test-benchexec (cbmc)	7m 46s
test-benchexec (coveriteam-verifier-algo-selection)	55s
test-benchexec (coveriteam-verifier-parallel-portfolio)	8m 54s
test-benchexec (cpa-lockator)	3m 6s
test-benchexec (cpachecker)	8m 42s
test-benchexec (cseq)	22m 29s
test-benchexec (dartagnan)	8m 4s
test-benchexec (deagle)	6m 10s
test-benchexec (divine)	9m 14s
test-benchexec (ebf)	8m 14s
test-benchexec (esbmc-incr)	2m 49s
test-benchexec (esbmc-kind)	7m 57s
test-benchexec (goblint)	32s
test-benchexec (graves-par)	1m 50s
test-benchexec (graves)	9m 4s
test-benchexec (infer)	27m 58s
test-benchexec (lazycseq)	18m 38s
test-benchexec (lf-checker)	2m 1s
test-benchexec (pesco)	8m 21s
test-benchexec (pichecker)	8m 5s
test-benchexec (symbiotic)	4m 22s
test-benchexec (theta)	1m 49s
test-benchexec (uautomizer)	9m 26s
test-benchexec (ugemcutter)	10m 24s
test-benchexec (utaipan)	27m 53s
collect-results	0s
	3h 45m 41s

Provide feedback