All-solution generator.
Brute force solver, VarSet.add correction.