new functions in CCSexp.Traverse