Preserving Universal Termination through Unfold/Fold