NullValueAnalysis: Support IS_FALSE, IS_NULL and IS_NOT_NULL assertions.