make demodulation more robust
make demodulation more robust

check whether any rule fired, not whether lits are different: that
could happen just by rebuilding them and automatically normalizing

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition