NullValueAnalysis: Support IS_FALSE, IS_NULL and IS_NOT_NULL assertions.
Merge pull request #334 from mono-soc-2013/luiscubal-annotations

NullValueAnalysis: Support IS_FALSE, IS_NULL and IS_NOT_NULL assertions.