Reverted previous addition of compression of conditionals where the condition and consequent are equivalent.