Check for cycles after correlating contexts