A global occurrence counting analysis for Brane Calculi