added the cpp file for the inequality graph
inequality reasoning works on small examples added to regressions (not incremental); currently disabled though