How to do defmatch without using matchdeclare? defmatch(anyname, x(i, l)*x(j, k))$ anyname(x(a,b)*x(c,d)) returns false always

Hi all,

Thanks for the previous answers. I am stuck into the following:

I ran:
defmatch(anyname,x(i, l)*x(j, k))$ anyname(x(a,b)*x(c,d));
but it always return false unless I do:
matchdeclare(i,freeof(x),j,freeof(x),k,freeof(x),l,freeof(x));

Any suggestions for using defmatch without going into the hassle of
matchdeclare. Or any short cut for doing the following scenario:

Lets say given: x(i, l)*x(j, k) = r(l)s(k)
I want to replace x(a,b)*x(c,d) in a equation with r(b)s(d) by
substituting l=b and k=d.

Dileep