Fix in operator== check the size of terms