Merge remote-tracking branch 'origin/master' into luiscubal-null-analysis-fix
NullValueAnalysis: Fixed bug reported by miniBill: comparison with non-null value not working correctly.
Merge remote-tracking branch 'origin/master' into luiscubal-null-analysis-fix
Fixed another bug in NullValueAnalysis -- also related to comparisons between non-null values.
Merge pull request #321 from mono-soc-2013/luiscubal-null-analysis-fix

Fixed bug in null analysis: Incorrect handling of null comparisons