no incremental solving allowed