Fixed FunctionNeverReturnsIssue: Incorrect handling of block statements and if without else statements.
Merge pull request #262 from mono-soc-2013/luiscubal-fix-recursion-detection

Fixed FunctionNeverReturnsIssue