Recheck the inclusions before exiting from secsolve.