Turned spanning coverage annotation into a library function.