Figure 2: CFG for code from Listing 3
Figure 2: CFG for code from Listing 3

nullsafe