Figure 1:
Flow scheme for programs in simple size and shape analysis
