Only use bin_linear for equality an inequality. Fall through to n-ary linear for disequality.
Only use bin_linear for equality an inequality. Fall through to n-ary linear for disequality.

chuffed/chuffed,chuffed/chuffed