finalized definite return analysis