Optimized the 'continuous' program

Made the continuous program retry only the proof obligations that
change.