# under 5.005_02
  DB<1> x not(1) || 2
0  ''
  DB<2> x not 1 || 2 
0  ''

# under 5.6.0
  DB<1> x not(1) || 2
0  2
  DB<2> x not 1 || 2
0  ''