fix bug in definite return analysis for continue