Box clauses are not instantiated for {} and added immediately.

When we're doing regression, this just pollutes the setup.
When we're not doing regression, the purpose was just to get the names
of the clause into hplus. That can be achieved with UpdateHPlusFor just
as well.