test and debug FastImpliesEq and FastIFFEq