- Including some test cases
- Fixing a bug when computing the contianment properties
- Major refactor