nodestack: re-associate ModelAction/Node relationship
Currently, the Node that is returned by ModelAction::get_node() actually
represents the Node that is parent to the ModelAction. This works well for
some of the backtracking computations (since the backtracking set is held
in the parent Node), but it creates confusion when performing computations
such as the following:
Node *node;
...
ModelAction *act = node->get_action();
Node *node2 = act->get_parent();
ASSERT(node == node2); // Fails
ASSERT(node->get_parent() == node2); // Succeeds
So this patch changes this behavior so that the first assertion (above)
succeeds and the second one fails. This is probably more desirable in the
long run.