if (isTop(result) || isBottom(fact)) { copy(fact, result); } else if (isBottom(result) || isTop(fact)) {  } else {  result.and(fact); }
	public void meetInto(BitSet fact, Edge edge, BitSet result) throws DataflowAnalysisException {		// TODO Auto-generated method stub			}