fix: avoid new term info around def bodies (#6031)

fix: avoid new term info around def bodies (#6031) #24136