Linear static analysis

For a linear static analysis (prespooles.c) the structure is as follows:

The different routines in the above listing will be discussed separately, since they are common to most types of analysis.