Contract Checker

TODO: Write documentation.