Two new methods.

Implemented NextDecisionPlanned/1 and getNextChoicePoint/0.