Soft constraints checking

Hard and soft constraints checking need to be tested