Add support for handling Constant to eliminate more NullCheck.
And when an IfOp's tval and fval are both in NullCheckEliminator::_set, we can also put the IfOp into the set.