Provides a collection of control flow analyses for TIP programs.