Added contracts framework.