Part of lp.app.validators View In Hierarchy
If the error implements provides a snippet() method, just return it. Otherwise, fall back to the default Z3 mechanism