No need for such strict measures for lit-pair-already-looked check

Actually, a more precise measure would be much better. Right now, two
literal pairs with lit1 being the same cannot be looked at.