Code contract added