If the CCG is a refinement of the ICG then the traversal
history in the CCG is an expansion of the traversal history
in the ICG