Setup::AddClause instantiates box clauses for {} immediately.

Otherwise we might miss some standard names in hplus at the time the
query's quantifiers are handled (grounded).
Implemented complex queries.

Queries are converted to CNF and quantifiers are grounded.