Automatic Equivalence Proofs for Non-Deterministic Coalgebras