Removed static contract checking from projects.