Removed code contracts for release target.