_abox.setBranchIndex(0); _abox.addAllDifferent(list); _abox.setBranchIndex(branch); _abox.addAllDifferent(list);
_abox.setBranchIndex(0); _abox.addAllDifferent(list); _abox.setBranchIndex(branch); _abox.addAllDifferent(list);
_abox.setBranchIndex(0); _abox.addAllDifferent(list); _abox.setBranchIndex(branch); _abox.addAllDifferent(list);
_abox.setBranchIndex(0); _abox.addAllDifferent(list); _abox.setBranchIndex(branch); _abox.addAllDifferent(list);