Unfold/Fold Transformation of Stratified Programs.