tweak reductions
delete some of the assertions now in the pre-checker
tweak visit_Compare
tweak visit_Compare