add in basic resynthesis testing examples