goalReplaced(Goal source, Node parent, ListOfGoal newGoals) Informs the listener that the given goal source
has been replaced by the goals newGoals (note that
source may be an element of
newGoals).
Informs the listener that the given goal source
has been replaced by the goals newGoals (note that
source may be an element of
newGoals). The nodes of newGoals are
children of the node parent