Refactoring code contract extraction.