Test weaken
Remove trivial test
Resolve memory leak in tests
Test update constraint