More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics