Undo use of [symmetry] in [done]

It seems that sometimes Coq decides to use the built-in tactic
regardless of what we do.