Figure 7.43
Transaction SWLT: Static Checks