finish work on incremental solving (except minimality check)