Do not init SAT solver if --seq-models=as