Ah..., but certainly, it does not guarantee that `exp` is a constant. So adding `exp->isConst()` might be better.