Added tests weakEquiv method