void function ( final Block arg0 ) { defBlocks . add ( arg0 ) ; }
makes note of a block in which the variable is defined by a phistmt . concode_field_sep LinkedList[] reals concode_elem_sep FlowGraph cfg concode_elem_sep LinkedList allReals concode_elem_sep PhiStmt[] phis concode_elem_sep Set defBlocks concode_elem_sep VarExpr prototype concode_field_sep Collection reals concode_elem_sep void addCatchPhi concode_elem_sep void removePhiAtBlock concode_elem_sep void addRetPhi concode_elem_sep void addPhi concode_elem_sep void addReal concode_elem_sep void addRetPhis concode_elem_sep Collection defBlocks concode_elem_sep Collection realsAtBlock concode_elem_sep VarExpr prototype concode_elem_sep PhiStmt phiAtBlock