Symbol: record_root_in_trans