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).