YieldReturnDecompiler: don't fail symbolic analysis if 'returnFalseLabel' is missing
StateRange analysis / SymbolicExecution: add support for implicit int->bool conversion.

This is necessary for yield return decompilation on Roslyn.
Merge branch 'master' of github.com:icsharpcode/ILSpy