private boolean hasSideEffectsOrReadsThis(SootMethod method){
  return hasSideEffectsOrReadsThis(method,new HashSet<SootMethod>());
}

private boolean hasSideEffectsOrReadsThis ( SootMethod method ) { return hasSideEffectsOrReadsThis ( method , new HashSet < SootMethod > ( ) ) ; }
checks whether the given method or one of its transitive callees has side - effects or calls a sink method
