Removed. But keep in mind that we need to have a halting functionality when solver gets fatal problems.