Added message pinpointing unhandled equivalences