Provides a collection of data flow analyses for TIP programs.