Added predicates to analyze incremental subgoal dependency graph.
Authored by: tswift 2012-10-30
Parent: [r7650]
Child: [r7652]