Module dual.engine.comparison.isnotequal.

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