Ensure that internal heuristics are correctly called 

in the event that external solvers are interrupted.