although I wonder, right now we are only looking at

vxorps

instructions, which I guess it was made as an heuristic, but maybe we need to check them all to be really sure?