Handle traces with no annotations.
flatmap
merge tests.
forall
Actually we have the count already.
formatting the fails.