Improved auto-detection of -show signals in sat_solve