Remove duplicate `Show Term` instance in tests