fix dominance analysis; don't count 'main' branch in analysis