Transaction SWLT: Static Checks

Figure 7.43Transaction SWLT: Static Checks