SMT simplification appears to end with an open scope

[Smattr]

The SMT simplification logic appears to open a scope in visit_model when it should be closing one. I suspect this has no effect because the model is the top-level entity, but it seems odd.