Yea we use a `SolveError` exception class, it may make more sense to catch that instead.