Fixed bug on weak constraints.
Added test files.
Added another test file.