change soft constraint from `(...)` to `assert [...]`
updated IR XML Schema
prevent unnecessary error when no positions
updated soft constraints to assert notation
root clafer test case
updated XSD schema for tests
name resolver error msg
removed trailing spaces
Merged from upstream/develop
Added lonce temporal pattern