That's right, Herbgrind doesn't know which values are variables. It uses antiunification to see which values are always the same (which it assumes are constants) and which differ between invocations (which it assumes are variables).