It does help. what I find interesting here is that the prover was able to find a potential bug that the test cases were not able to find. That's powerful.