refresh function

Refresh a specification with constraints