Adds equivalence guards