108109110111112113114115116117118
throw new IllegalStateException(); } } // Ensure tier will be added only once if (tiers.indexOf(formulaAndTierIndices) < 0) { tiers.add(formulaAndTierIndices); } } }