It is easy to see how corresponding arrows have the same origin and destination in the two pictures. The results are typically easy to formulate for such templates or cond -clauses. The rest of this step proceeds as before. When we deal with other clauses or functions, we remind ourselves what each expression in the template computes, assuming that all functions already work as specified in the contracts. Then we decide how to combine these pieces of data into a final answer.
Figure summarizes the extended design recipe.