Removed stuff from dexter_test to pass the current state of instrumentation
UnitTestTransform assigns taint to 0xDEC0DED
Return instruction stores taint of primitive results to RES