reshaped the solving algorithm workflow to better identify unusual cases and repeated subproblems so that only the minimum amount of external calls to gringo and clasp are executed