Finds what a small change could break elsewhere and proves it with real code. Use for blast radius of X, what could this break, or a small diff you do not trust.
