change soft constraint from `(...)` to `assert [...]`