Using UnionExp in constfold.c