Fixed bug in FunctionNeverReturnsIssue.