I'm with you that, depending on the problem, different verification approaches make the most sense. I wish it was easier to combine results from different tooling.