Initial work on supporting some classic DF analyses (sharing several components with constraint-based analyzer)