Removed assumption that taint registers are single primitives