Adding code agreements