Add general disequality hook

François Bobotrequested to merge
bobot/abs into master

Just partially connected to existing theory

Merge request reports