ArrayPut propagates taint to the array object even for reference type elements
PostCall method handling deals with short stack traces