implemented matcher that checks for s(argmax(s)) expressions to find max operators