Code Contracts Mastering Tool