Macros return List<? extends DexCodeElement>, taint-set macro checks taint==0