The Sketching Approach to Program Synthesis -- Program Analysis -- Large Spurious Cycle