public void visitPhiStmt(final PhiStmt stmt) {

		if (stmt instanceof PhiCatchStmt) {
			visitPhiCatchStmt((PhiCatchStmt) stmt);
		} else if (stmt instanceof PhiJoinStmt) {
			visitPhiJoinStmt((PhiJoinStmt) stmt);
			/*
			 * else if (stmt instanceof PhiReturnStmt)
			 * visitPhiReturnStmt((PhiReturnStmt) stmt);
			 */
		}
	}