Implicitly quantified variables of a clause

[lex-lex]

...are currently calculated each time a clause is created (from the sequence of contained literals). This is, of course, in many cases too inefficient as we know the variables upon creation of the clause.
Suggesstion: Add a optional parameter to the Clause constructor that accepts the argument as the implicitly quantified variables. If its not given, they are calculated as usual.