Provides the basic framework for performing fixed-point analyses of TIP programs.