@User: Yes, there is! I used it a little while ago when I ended up with an obscure error which was so deeply buried in symmetry-breaking that all of the results appeared to match yet said it wasn't matching. Give me a minute to look up what it was I did. . .