No. 410 (1992): PB-410 Unfold/fold Transformations Preserving Termination Properties