The docs says that it tries to explore all the branches of the AST, isn't that what coverage is doing?
I might be missing something.