Add more properties to test for Int+Parallelotopes.
Add constraints and isPolyedral methods to numerical domains.
Add tests for isPolyhedral and constraints methods.
Add a benchmark program for Int+Parallelotopes.