bugfix for ArrayCopyTest (failed because we erased the taint
in C2R but no C/R edges existed)
-> included check for callees