merges in into inout , just before node succnode . concode_field_sep Map<N,A> filterUnitToBeforeFlow concode_elem_sep Map<N,A> unitToBeforeFlow concode_elem_sep DirectedGraph<N> graph concode_field_sep void doAnalysis concode_elem_sep boolean treatTrapHandlersAsEntries concode_elem_sep void merge concode_elem_sep void merge concode_elem_sep A entryInitialFlow concode_elem_sep A getFlowBefore concode_elem_sep A newInitialFlow concode_elem_sep void copy concode_elem_sep boolean isForward
void function ( N arg0 , A arg1 , A arg2 ) { A loc0 = newInitialFlow ( ) ; merge ( arg0 , arg1 , arg2 , loc0 ) ; copy ( loc0 , arg1 ) ; }