Module dual.engine.comparison.notequals.

Rule different given x, y, produce:
  Return x not equal to y.