make_not          156 src/SkipStages.cpp             return make_and(make_not(a), c);
make_not          158 src/SkipStages.cpp             return make_or(make_not(a), b);