in serialization, keep track of newly seen defs while writing defs