Renamed incremental_mwsat to incremental_infer