Remove leading "x" from xor clause when searching for max variable