Changes to support get_incomplete_subgoal_info and friends.
Authored by: tswift 2015-09-07
Parent: [r8456]
Child: [r8458]