%************************************************************************
The @Unfolding@ type is declared here to avoid numerous loops
%************************************************************************
The @Unfolding@ type is declared here to avoid numerous loops