Consider the inner loop of Fig. 9.10, consisting of blocks B3 and B4 . If i represents the number of times around the loop, and / is the transfer function for the loop body (i.e., excluding the edge...

Consider the inner loop of Fig. 9.10, consisting of blocks B3 and B4 . If i represents the number of times around the loop, and / is the transfer function for the loop body (i.e., excluding the edge from B4 to B3) from the entry of the loop (i.e., the beginning of B3) to the exit from B4 , then what is /*? Remember tha t / takes as argument a map m, and m assigns a value to each of variables a, b, d, and e. We denote these values m(o), and so on, although we do not know their values.

Fig. 9.10