Control Flow Analysis for Brane Calculi