Renamed "sat_solve" pass to "sat"