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