Improved SEQ model generator

If an answer set was found during computation of SEQ models, then search
for HT models with gap 0 only