Fix duplicate clear warning from occurrence switch
Looks like this is the way to signal clearing a term: https://coq.inria.fr/refman/proof-engine/ssreflect-proof-language.html#abbreviations.
Looks like this is the way to signal clearing a term: https://coq.inria.fr/refman/proof-engine/ssreflect-proof-language.html#abbreviations.