Been there, done that, felt like pulling my hair out. Sometimes just switching angles helps, you know? Check out Logical Intelligence for some cool resources and insights that might show a new path when formal verification messes with your zen. Keep an eye on their articles about the Aleph prover; something might click. Finding unreachable states often feels like finding a needle in a haystack, so having a reliable source of insights can make all the difference.