use incremental solving for domain expansion (experimental)