Main synthesizing iterator