Impredicative Loop Analysis: Dealing with the Representation of Chicken-Egg Processes