1 *1* IN App(%FILE_1%) ? *1* IN App(%FILE_1%) FEATURES { Arguments IN App(%FILE_1%) . } ? 1 Flows FROM App(%FILE_1%) TO App(%FILE_2%) *3* CONNECT [ Flows IN App(%FILE_1%) *3*, Flows IN App(%FILE_2%) *3*, UNIFY [ IntentSinks IN App(%FILE_1%) *3*, CONNECT [ IntentFilters IN App(%FILE_2%) *3*, IntentSources IN App(%FILE_2%) *3* ] ? ] ? ] ? 0 1 Flows IN App(%FILE_1%) *1* ? UNIFY [ Flows IN App(%FILE_1%) WITH 'SourcesAndSinks' = { TOFD [ UNIFY [ Sources IN App(%FILE_1%) FEATURING 'Final' ?, Sources IN App(%FILE_1%) USING 'NOAH' ?, Sinks IN App(%FILE_1%) FEATURING 'Final' ?, Sinks IN App(%FILE_1%) USING 'NOAH' ? ] ? ] ! } ?, Flows IN App(%FILE_1%) USING 'NOAH' ? ] ? 0 1 *1* IN App(%FILE_1%) *2* *1* IN App(%FILE_1% | 'RESOLVE') FEATURING 'Final' ?