do better messaging than WARNING:Halmos:Counterexample (potentially invalid)
if evm_exp is the reason the model is invalid
#280
Labels
bug
Something isn't working
we actually do have an option that can help:
The text was updated successfully, but these errors were encountered: