qbf: remove duplicates when quantifying free vars
qbf: remove duplicates when quantifying free vars

touist/touist,olzd/touist,FredMaris/touist,olzd/touist,FredMaris/touist,touist/touist,olzd/touist,touist/touist,touist/touist,FredMaris/touist