on INOTE: Give a graphical representation of the decision graph corresponding to the supercompiled binary search program for L=4, described above]. 18.3.2 Supercompilation for Goal-Directed Program Modification Supercompilation, as conventionally envisioned, is about making programs run faster; and as noted above, it