Fix the folding of undef in several binary operators to recognize