Regression tests for contracts.