Immediately 'A'borting is the solution.

May not need to fix. This is needed only when I implemented a time-consuming solver.