Shell Pipeline Contract Goes to Danos