NullValueAnalysis: Support IS_FALSE, IS_NULL and IS_NOT_NULL assertions.

Improved [AssertionCondition] attribute with AssertionConditionType.