In addition fixed a bug:
The rewriter generated a 64bit mem comparison for the 32bit offset value,
thus comparing partially undefined memory.